Towards an Efficient Method for Updating Consistent Deductive Databases
نویسندگان
چکیده
An important problem that arises when updating a deductive database is the one related to integrity constraints maintenance. That is, given a consistent database and an update request, to obtain all possible ways of updating the base facts such that the request is satisfied while consistency of the database is maintained. This problem becomes more complex when view updates may also be requested since these updates must be translated into base
منابع مشابه
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases
In this paper we present an abductive framework for handling requests for updating a deductive database. Updates are tackled in a consistency-preserving manner so that it is guaranteed that the database state resulting of applying the update is consistent; that is, it satisfies the set of its integrity constraints. Moreover, if view updates are requested, they are appropriately translated into ...
متن کاملA Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema design, fixpoint evaluations of these rules at run time compute consistent realizations of view update requests. Alternative realizations are expressed using disjunctive Datalog internally. The approach extends and integrates s...
متن کاملThe Events Method for View Updating in Deductive Databases
We propose a new method for view updating in deductive databases. The method is based on events and transition rules, which explicitly define the insertions and deletions induced by a database update. Using these rules, an extension of the SLDNF procedure allows us to obtain all valid translations of view update requests. The main advantages of the method are its simplicity, the uniform treatme...
متن کاملA formal Method for the Synthesis of Update Transactions in Deductive Databases without Existential Rules
We propose a new method for generating consistency-preserving transaction programs for (view-)updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a database update. At transaction-design-time, a formal procedure can use these rules to automatically...
متن کاملAn Approach to the Synthesis of Update Transactions in Deductive Databases*
We propose a new method for generating consistency-preserving transaction programs for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a database update. At transaction-design-time, a formal procedure can use these rules to automatically...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995